The programming language GCLA — A definitional approach to logic programming
| Autor: | P. Olin, A. Gäredal, Martin Aronsson, Lars-Henrik Eriksson, Lars Hallnäs |
|---|---|
| Rok vydání: | 1990 |
| Předmět: |
Functional programming
Horn clause Syntax (programming languages) Computer Networks and Communications Computer science Programming language Semantics (computer science) business.industry computer.software_genre Theoretical Computer Science Prolog TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Hardware and Architecture Artificial intelligence Special case business computer Software Language construct Logic programming Natural language processing computer.programming_language |
| Zdroj: | New Generation Computing. 7:381-404 |
| ISSN: | 1882-7055 0288-3635 |
| DOI: | 10.1007/bf03037453 |
| Popis: | We present a logic programming language, GCLA (Generalized horn Clause LAnguage), that is based on a generalization of Prolog. This generalization is unusual in that it takes a quite different view of the meaning of a logic program--a "definitional" view rather than the traditional logical view. GCLA has a number of noteworthy properties, for instance hypothetical and non-monotonic reasoning. This makes implementation of reasoning in knowledge-based systems more direct in GCLA than in Prolog. GCLA is also general enough to incorporate functional programming as a special case. GCLA and its syntax and semantics are described. The use of various language constructs are illustrated with several examples. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink