• THE BRITISH NATIONALITY ACT AS...

Treffer: THE BRITISH NATIONALITY ACT AS A LOGIC PROGRAM.

Title:
THE BRITISH NATIONALITY ACT AS A LOGIC PROGRAM.
Authors:
Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, F., Hammond, P., Cory, H.T.
Source:
Communications of the ACM. May86, Vol. 29 Issue 5, p370-386. 17p. 3 Diagrams, 2 Charts.
Subject Terms:
*Prolog (Computer program language), Computer logic
Database:
Business Source Elite

Weitere Informationen

Describes how the text of a large part of the British Nationality Act 1981 was translated into a simple form of logic. Possible applications of the translation; Use of logic based on programming language Prolog; Arbitrary logical consequences of legislation expressed in logical form.