Dorota Leszczyńska-Jasion: CPC e-scenarios (Prolog)

The program generates atomic e-scenarios for yes-no questions of the form ?{A, not A}, where A is a formula of the language of Classical Propositional Logic. The program is written in Prolog.

After you run the program and write „start.” an instruction will occur.


Dorota Leszczyńska-Jasion: COOP Q-RESPONSES (Prolog)

In paper Cooperative Question-responses and Question Dependency (by Paweł Łupkowski) the idea of cooperative question-responses based on question dependency was described. is a Prolog implementation of the algorithm of cooperative responsing which works on a toy example of a database. There are several facts concerning users (‚usr/1’ predicate), their friends (‚friend/2’ predicate) and living places (‚live/2’ predicate) and some rules defining the concept of a local user (‚locusr/1’ predicate). There is also a database of 9 e-scenarios concerning questions about being a user or questions about being a local user. Questions are written in the following form:


 The Name may be one of: a, b, c, d, e, f, g

 In order to obtain a cooperative question-response, one has to ask Prolog: