caa a22 4500 467988781 CHVBK 20180323112539.0 cr unu---uuuuu 170328e19900401xx s 000 0 eng 10.1007/BF03037453 doi (NATIONALLICENCE)springer-10.1007/BF03037453 The programming language GCLA — A definitional approach to logic programming [Elektronische Daten] [Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin] 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. Ohmsha, Ltd. and Springer, 1990 Logic programming languages nationallicence Logic and functional programming nationallicence Partial inductive definitions nationallicence Hypothetical reasoning nationallicence Knowledge based systems languages nationallicence Aronsson Martin Swedish Institute of Computer Science (SICS), Box 1263, S-164 28, Kista, Sweden aut Eriksson Lars-Henrik Swedish Institute of Computer Science (SICS), Box 1263, S-164 28, Kista, Sweden aut Gäredal Anette Swedish Institute of Computer Science (SICS), Box 1263, S-164 28, Kista, Sweden aut Hallnäs Lars Swedish Institute of Computer Science (SICS), Box 1263, S-164 28, Kista, Sweden aut Olin Peter Swedish Institute of Computer Science (SICS), Box 1263, S-164 28, Kista, Sweden aut New Generation Computing Springer-Verlag 7/4(1990-04-01), 381-404 0288-3635 7:4<381 1990 7 354 https://doi.org/10.1007/BF03037453 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF03037453 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Aronsson Martin Swedish Institute of Computer Science (SICS), Box 1263, S-164 28, Kista, Sweden aut NATIONALLICENCE 700 1- Eriksson Lars-Henrik Swedish Institute of Computer Science (SICS), Box 1263, S-164 28, Kista, Sweden aut NATIONALLICENCE 700 1- Gäredal Anette Swedish Institute of Computer Science (SICS), Box 1263, S-164 28, Kista, Sweden aut NATIONALLICENCE 700 1- Hallnäs Lars Swedish Institute of Computer Science (SICS), Box 1263, S-164 28, Kista, Sweden aut NATIONALLICENCE 700 1- Olin Peter Swedish Institute of Computer Science (SICS), Box 1263, S-164 28, Kista, Sweden aut NATIONALLICENCE 773 0- New Generation Computing Springer-Verlag 7/4(1990-04-01), 381-404 0288-3635 7:4<381 1990 7 354 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer