this article: http://journals.cambridge.org/abstract_S1471068415000125 How to cite this article: Victor W. Marek Theory and Practice of Logic Programming, Available on CJO 2015 doi...
The paper introduces a new modular action language, ALM, and illustrates the methodology of its use. It is based on the approach of Gelfond and Lifschitz (1993; 1998) in which a h...
ion and Optimization of Abstract Machines in a Dialect of Prolog∗ October 2009 facultad de inform´atica universidad polit´ecnica de madrid J. F. Morales M. Carro M. Hermenegild...