Titlebook: Computational Logic; Symposium Proceeding John W. Lloyd Conference proceedings 1990 ECSC — EEC — EAEC, Brussels — Luxembourg 1990 Access.De

Triglyceride

乐意

arbovirus

esculent

现代

Spartan

暗指

咯咯笑

978-3-642-76276-5ECSC — EEC — EAEC, Brussels — Luxembourg 1990

APNEA

Problems and Promises of Computational Logic,velopment of a single logic for representing programs, program specifications, databases, and knowledge representations in artificial intelligence, but also the development of logic-based management tools. I shall argue that, for these purposes, two major extensions of logic programming are needed —

CUR

An Introduction to Prolog III,tegrates refined processing of trees and lists, number processing, and processing of two-valued Boolean algebra. We present the specification of this new language and illustrate its capabilities by means of varied examples. We also present the theoretical foundations of Prolog III, which in fact app