Extensions of Logic Programming
Subtitle: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artific)
Publisher: Springer
Published: June 1994
Language: eng
Format: Paperback
Number of pages: 360
ISBN-13: 9783540580256
Subjects: Artificial intelligence; Computer Programming; Artificial Intelligence - General; Logic; Programming - Object Oriented Programming; Logic programming; Computers - Languages / Programming
First sentence: The Andorra Kernel Language's (AKL, see [10]) computational model addresses the matter of handling nondeterminism in a different way than Prolog, ie. a computation does not explore the solution space by exploring a derivation tree but rather by deploying a sequence of configurations (see [9] for an introduction to this subject).