On the logic programming:And/Or programming specification language

On the logic programming:And/Or programming specification language

碩士 === 國立中央大學 === 資訊及電子工程研究所 === 74 ===

Bibliographic Details
Main Authors:	LIN, CHUN-TENG, 林春騰
Other Authors:	HUANG, WEI-DE
Format:	Others
Language:	zh-TW
Published:	1986
Online Access:	http://ndltd.ncl.edu.tw/handle/41568654598192141687

Similar Items

On the logic programming
by: Lin, Chun-Teng, et al.
Published: (1986)

Language interoperability and logic programming languages
by: Cook, Jonathan J.
Published: (2005)

The primary logics of programming languages
by: Winner, Robert Ian
Published: (2006)

Meta-language in logic programming
by: Eshghi, Kave
Published: (1987)

Logic, programming and formal specification
by: Goldsmith, M. H.
Published: (1985)

An integration of reduction and logic for programming languages
by: Wright, David A
Published: (1988)

Logic from Programming Language Semantics
by: Choo, Young-il
Published: (1987)

Translating fork specifications into logic programs
by: Gabriel Alfredo Baum, et al.
Published: (2001-05-01)

Formal semantics and the logical structure of programming languages
by: DeMillo, Richard Alan
Published: (2006)

Logic and the development of programming languages, 1930-1975
by: Priestley, P. M.
Published: (2008)

LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING
by: DANTE CORBUCCI FILHO
Published: (1989)

Logic programs as declarative and procedural bias in inductive logic programming
by: Lin, Dianhuan
Published: (2013)

Logic Programming Tools for Formal Software Specification
by: Halina Przymusińska
Published: (2011-09-01)

Program transformation using temporal logic specifications
by: Lacey, D. J.
Published: (2003)

Meta-control on logic programming
by: LIN, YAO-LING, et al.
Published: (1986)

A Study on the Web-Based Learning in Programming Language
by: Shiuan-Teng Huang, et al.
Published: (2001)

Theoretical foundations of the organization of branches and repetitions in programs in the logic programming language Prolog
by: D. V. Zdor
Published: (2021-07-01)

An object-oriented logic programming language with inheritance property
by: ZENG, SHI-BANG, et al.
Published: (1992)

The formal description of programming languages using predicate logic
by: Moss, C. D. S.
Published: (1981)

[en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING
by: DANTE CORBUCCI FILHO
Published: (2009)

The expressive power of query languages based on logic programming
by: Reynolds, Mark
Published: (1988)

Logic-based techniques for program analysis and specification synthesis
by: Feliú Gabaldón, Marco Antonio
Published: (2013)

Aspects of the implementation of programming languages : (the compilation of an applicative language to combinatory logic)
by: Turner, D. A.
Published: (1981)

Defeasible logic programming: language definition, operational semantics, and parallelism
by: Alejandro Javier García
Published: (2001-10-01)

An OR parallel logic programming language : its compiler and abstract machine
by: Cheng, A. S. K.
Published: (1988)

A logic-based concurrent object-oriented programming language
by: Melendez, Rafael Ramirez
Published: (1996)

Design, application and implementation of a parallel logic programming language
by: Gregory, S.
Published: (1985)

Logic programming as a formalism for specification and implementation of computer systems
by: Kusalik, Anthony Joseph
Published: (2010)

On the integration of logic programming and functional programming.
by: Rhodes, Randy E.
Published: (2012)

The Timetabling Model based on Constraint Logic Programming
by: Lin,Dar-Min, et al.
Published: (1993)

Logic programming with constraints
by: Liu, Guohua
Published: (2010)

Action Logic Programs
by: Drescher, Conrad
Published: (2011)

Programming in temporal logic
by: Hale, Roger William Stephen
Published: (1988)

Agents in logic programming
by: Quintero, Jacinto Alfonso Davila
Published: (1997)

Compositional logic programming
by: McPhee, Richard
Published: (2000)

Abductive logic programming
by: Toni, Francesca
Published: (1995)

Derivation of logic programs
by: Hogger, C. J.
Published: (1978)

A self-applicable partial evaluator for the logic programming language Goedel
by: Gurr, Corin Alistair
Published: (1994)

A computational model for logic programming languages and its supporting architecture
by: Wang, Jiwei
Published: (1991)

FlowHDL, visual programming language for digital design of programmable logic
by: Anibal Fernando Antonelli, et al.
Published: (2021-06-01)