________________________________________________________________________

This file is part of Logtalk <https://logtalk.org/>  
Copyright 1998-2022 Paulo Moura <pmoura@logtalk.org>  
SPDX-License-Identifier: Apache-2.0

Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
________________________________________________________________________


To load this example and for sample queries, please see the `SCRIPT.txt` file.
This example requires a recent version of CxProlog, ECLiPSE, SICStus Prolog,
SWI-Prolog, or YAP as the backend Prolog compiler.

Note that Logtalk support for coinduction is still experimental. The two major
issues are lack of robust Prolog support for cyclic terms and lack of support
for tabling of cyclic terms. The first issue prevents using of some backend
Prolog compilers. The second issue may prevent some coinductive predicates to
behave as (theoretically) expected.

This folder contains several examples of coinductive predicates, adapted from
the coinduction papers and from the Feliks Kluzniak's DRA meta-interpreter.

The unit tests are currently disabled when using CxProlog or ECLiPSE as the
backend compiler. Although some tests pass, all tests calling `bagof/3` don't
terminate until all available memory is exhausted due to the fragile support
for rational terms in these two Prolog compilers.

For more information see:

	@inproceedings{1778186,
		author = {Gupta, Gopal and Bansal, Ajay and Min, Richard and Simon, Luke and Mallya, Ajay},
		title = {Coinductive logic programming and its applications},
		booktitle = {Proceedings of the 23rd International Conference on Logic programming (ICLP)},
		year = {2007},
		isbn = {3-540-74608-0, 978-3-540-74608-9},
		pages = {27--44},
		location = {Porto, Portugal},
		publisher = {Springer-Verlag},
		address = {Berlin, Heidelberg},
	}

	@inproceedings{
		author = {Neda Saeedloei and Gopal Gupta},
		title = {Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)},
		booktitle = {Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE)},
		year = {2009},
		location = {Pasadena, California, USA}
	}

	@inproceedings{saeedloei_et_al:LIPIcs:2010:2599,
		author ={Neda Saeedloei and Gopal Gupta},
		title = {Timed Definite Clause Omega-Grammars},
		booktitle ={Technical Communications of the 26th International Conference on Logic Programming},
		pages = {212--221},
		series = {Leibniz International Proceedings in Informatics (LIPIcs)},
		isbn = {978-3-939897-17-0},
		issn = {1868-8969},
		year = {2010},
		volume = {7},
		editor = {Manuel Hermenegildo and Torsten Schaub},
		publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
		address = {Dagstuhl, Germany},
		URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2599},
		doi = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2010.212},
		annote = {Keywords: Constraint Logic Programming over reals, Co-induction, Context-Free Grammars, Omega-Grammars}
	}

	@inproceedings{AnconaSAC12,
		author = {Ancona, D.},
		title = {Regular corecursion in {P}rolog},
		booktitle = {A{CM} {S}ymposium on {A}pplied {C}omputing ({SAC} 2012)},
		ftp = {ftp://ftp.disi.unige.it/person/AnconaD/AnconaSAC12.pdf},
		keywords = {coinduction,corecursion},
		year = 2012
	}

	@inproceedings{pmoura13b,
		author = {Paulo Moura},
		title = "{A Portable and Efficient Implementation of Coinductive Logic Programming}",
		booktitle = {Proceedings of the Fifteenth International Symposium on Practical Aspects of Declarative Languages},
		editor = "Kostis Sagonas",
		series = "Lecture Notes in Computer Science",
		pages = {77-92},
		volume = "7752",
		year = {2013},
		publisher = "Springer-Verlag",
		address = "Berlin Heidelberg",
		doi = {10.1007/978-3-642-45284-0_6},
		url = {http://dx.doi.org/10.1007/978-3-642-45284-0_6}
	}
