:strip_exif()/u/31626/eend.gif?f=community)
Bij Prolog is het erg eenvoudig om meerdere oplossingen te krijgen doordat je conflicterende regels in je systeem hebt. Maar hoe kan je het beste achterhalen wat hiervan de oorzaak is?
Regel2 en 3 zijn de oorzaak van de contextsplitsing en niet regel1.
Ik heb zelf al wel een oplossing in gedachten en dat is in de Prolog interpreter bij te houden als je meerdere alternatieven voor een regel kunt vinden, en zo`n alternatief een geldige oplossing oplevert en uiteindelijk met deze oplossing ook een totale oplossing wordt afgeleid. Maar hiervoor moet ik dus een aanpassing maken in de engine.
Ik heb al even gekeken bij SWI-Prolog en GNU-Prolog maar hiervoor geen operatoren gevonden. Dus... wie heeft hier wat ideeen over?
Prolog:
1
2
3
4
5
6
7
| regel1: p:-q. regel2: q. regel3: q. ?p. |
Regel2 en 3 zijn de oorzaak van de contextsplitsing en niet regel1.
Ik heb zelf al wel een oplossing in gedachten en dat is in de Prolog interpreter bij te houden als je meerdere alternatieven voor een regel kunt vinden, en zo`n alternatief een geldige oplossing oplevert en uiteindelijk met deze oplossing ook een totale oplossing wordt afgeleid. Maar hiervoor moet ik dus een aanpassing maken in de engine.
Ik heb al even gekeken bij SWI-Prolog en GNU-Prolog maar hiervoor geen operatoren gevonden. Dus... wie heeft hier wat ideeen over?
[ Voor 13% gewijzigd door Alarmnummer op 10-03-2004 15:09 ]