Abstract
We present a logic programming language where both problem domain and computational knowledge are expressed in logic. A logic program in this language consists of an object-program and a number of meta-programs. The object program, a collection of formulae, is a description of the problem domain of interest. The meta-programs, also just collections of formulae, specify desired computational behaviours. The object-program and meta-programs are compiled together to produce a single, efficient procedural logic (Prolog) program.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have