Good to see interest in thea2 and fixing issues! Integrated. Replaced writeln/1 by `format(’~q.~n’, …) to guarantee proper quoting and a full-stop. If you have more, could you use github pull requests? That makes changes tracktable and simplifies integration a lot (with less risk on mistakes).

Thea2 suggested fix - writing ontology/1 at top of plsyn file (Discussion)

EricGT May 13, 2020, 2:33pm 6

2 Likes

Topic		Replies	Views
SimGen (Discussion) Discussion	6	251	June 16, 2019
Being friendly to quick contributions General	6	2012	December 23, 2019
Section names are leaking something General bug , resolved	2	456	February 10, 2019
Unexplained behaviour wrt the well founded semantics - Part 3 Help!	1	220	July 15, 2021
SWISH Cabal Request For Comments swish , discussion	1	755	March 27, 2021