Rename and document files

arcadio · arcadio · commit 654a2439932b · 2024-06-30T00:19:23.000+02:00
diff --git a/csl.pl b/csl.pl
@@ -1,3 +1,8 @@
+%
+% Constraint-specification language, defined using a definite-clause
+% grammar (DCG).
+%
+
 %
 % DCG grammar
 %
diff --git a/dcg.pl b/dcg.pl
@@ -1,3 +1,7 @@
+%
+% Definite-clause grammar (DCG) prototype.
+%
+
 %
 % Rules
 %
diff --git a/dsl.pl b/dsl.pl
@@ -2,7 +2,7 @@
 % A domain-specific language (DSL) defining taxonomy and partonomy
 % operators and rules.
 %
-:- ensure_loaded('meta_dsl.pl').
+:- ensure_loaded('mdsl.pl').
 :- style_check(-discontiguous).
 
 
diff --git a/gen.pl b/gen.pl
@@ -1,3 +1,7 @@
+%
+% Alternative constraint-specification language definition.
+%
+
 %
 % Logical operators
 %
diff --git a/kb.pl b/kb.pl
@@ -2,9 +2,8 @@
 % An example knowledge base of pancreatic anatomy. Defines taxonomy,
 % partonomy and ad-hoc relations.
 %
-
 :- ensure_loaded('dsl.pl').
-:- ensure_loaded('constraint_language.pl').
+:- ensure_loaded('csl.pl').
 :- style_check(-discontiguous).
 
 
diff --git a/mdsl.pl b/mdsl.pl
diff --git a/mint.pl b/mint.pl
@@ -1,3 +1,7 @@
+%
+% Meta-interpreter experiments.
+%
+
 %
 % Basic knowledge for testing purposes
 %
diff --git a/readme.org b/readme.org
@@ -16,8 +16,8 @@ Developed and tested using [[https://swi-prolog.org][SWI-Prolog]].
 1. Evaluate ~[kb].~ to load a knowledge base example describing a
    pancreatic anatomy model.
 
-2. Evaluate ~[constraints].~ to verify a set of model constraints
-   expressed in natural language.
+2. Evaluate ~[spec].~ to verify a set of model constraints expressed
+   in natural language.
 
 * License
 
diff --git a/spec.pl b/spec.pl
@@ -1,16 +1,20 @@
-:- ensure_loaded('constraint_language.pl').
+%
+% Example model specification using constraints defined in a subset of
+% natural language.
+%
+:- ensure_loaded('csl.pl').
 
 
 %
-% General Constraints
+% General constraints
 %
 :- constraint([every, exocrine_cell, secretes, a, enzyme]).
 :- constraint([every, endocrine_cell, secretes, a, hormone]).
 :- constraint([every, pancreatic_cell, part_of, pancreas]).
 
 
 %
-% Model-specific Constraints
+% Model-specific constraints
 %
 :- constraint([every, cell, which, part_for, pancreas, secretes, a, substance]).
 :- constraint([pancreas, secretes, every, substance]).

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,8 @@`
	`1`	`+%`
	`2`	`+% Constraint-specification language, defined using a definite-clause`
	`3`	`+% grammar (DCG).`
	`4`	`+%`
	`5`	`+`
`1`	`6`	`%`
`2`	`7`	`% DCG grammar`
`3`	`8`	`%`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,7 @@`
	`1`	`+%`
	`2`	`+% Definite-clause grammar (DCG) prototype.`
	`3`	`+%`
	`4`	`+`
`1`	`5`	`%`
`2`	`6`	`% Rules`
`3`	`7`	`%`
Original file line number	Diff line number	Diff line change
`@@ -2,7 +2,7 @@`
`2`	`2`	`% A domain-specific language (DSL) defining taxonomy and partonomy`
`3`	`3`	`% operators and rules.`
`4`	`4`	`%`
`5`		`-:- ensure_loaded('meta_dsl.pl').`
	`5`	`+:- ensure_loaded('mdsl.pl').`
`6`	`6`	`:- style_check(-discontiguous).`
`7`	`7`
`8`	`8`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,7 @@`
	`1`	`+%`
	`2`	`+% Alternative constraint-specification language definition.`
	`3`	`+%`
	`4`	`+`
`1`	`5`	`%`
`2`	`6`	`% Logical operators`
`3`	`7`	`%`
Original file line number	Diff line number	Diff line change
`@@ -2,9 +2,8 @@`
`2`	`2`	`% An example knowledge base of pancreatic anatomy. Defines taxonomy,`
`3`	`3`	`% partonomy and ad-hoc relations.`
`4`	`4`	`%`
`5`		`-`
`6`	`5`	`:- ensure_loaded('dsl.pl').`
`7`		`-:- ensure_loaded('constraint_language.pl').`
	`6`	`+:- ensure_loaded('csl.pl').`
`8`	`7`	`:- style_check(-discontiguous).`
`9`	`8`
`10`	`9`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,7 @@`
	`1`	`+%`
	`2`	`+% Meta-interpreter experiments.`
	`3`	`+%`
	`4`	`+`
`1`	`5`	`%`
`2`	`6`	`% Basic knowledge for testing purposes`
`3`	`7`	`%`
Original file line number	Diff line number	Diff line change
`@@ -1,16 +1,20 @@`
`1`		`-:- ensure_loaded('constraint_language.pl').`
	`1`	`+%`
	`2`	`+% Example model specification using constraints defined in a subset of`
	`3`	`+% natural language.`
	`4`	`+%`
	`5`	`+:- ensure_loaded('csl.pl').`
`2`	`6`
`3`	`7`
`4`	`8`	`%`
`5`		`-% General Constraints`
	`9`	`+% General constraints`
`6`	`10`	`%`
`7`	`11`	`:- constraint([every, exocrine_cell, secretes, a, enzyme]).`
`8`	`12`	`:- constraint([every, endocrine_cell, secretes, a, hormone]).`
`9`	`13`	`:- constraint([every, pancreatic_cell, part_of, pancreas]).`
`10`	`14`
`11`	`15`
`12`	`16`	`%`
`13`		`-% Model-specific Constraints`
	`17`	`+% Model-specific constraints`
`14`	`18`	`%`
`15`	`19`	`:- constraint([every, cell, which, part_for, pancreas, secretes, a, substance]).`
`16`	`20`	`:- constraint([pancreas, secretes, every, substance]).`