Implementation of Axiomatic Language

This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification language, so its implementation involves the transformation of specifications to efficient algorithms. The language is described and the implementation task is discussed.

• Type: Journal
• Year: 2011
• Where: ICLP
• Authors: Walter W. Wilson
• Keywords: Automated Reasoning, ICLP 2011, Implementation Task, Logic Programming Language, Phd Research