Axiomatic Language
A pure, minimal but extensible, logic-programming/specification language with meta-language capability is described. The paradigm involved explicitly separates declarative specification from ensuing transformation.
ALP
The Association for Logic Programming promotes all activities concerning the theory and application of logic programming in computer science, related disciplines and industry. The archive of the ALP Newsletter provides content and links regarding the field.
[ 1 ] [ 2 ] [ 3 ]
|
