Search results

Unexpected bahaviour with respect to "more than one" predicate

Status: Open.

#10 In SWI-Prolog/sCASP;

· mgttlinger opened on Oct 10, 2024

Executing scasp, on Ubuntu 22.04 gives an error

Status: Open.

#9 In SWI-Prolog/sCASP;

· ghost opened on Jul 1, 2024

Error creating scasp.exe

Status: Open.

#8 In SWI-Prolog/sCASP;

· ivar-rummelhoff opened on Jun 26, 2024

[INFO] Implementing conventional NAF(negation as failure) in s(CASP)

Status: Open.

#7 In SWI-Prolog/sCASP;

· jinulee-v opened on Sep 8, 2023

[BUG?] Dynamic Consistency Check (DCC) does not preserve semantics

Status: Open.

#6 In SWI-Prolog/sCASP;

· jinulee-v opened on Sep 8, 2023

:- abducible(-x) does not work

Status: Open.

#3 In SWI-Prolog/sCASP;

· JanWielemaker opened on Aug 22, 2023

abducible leads to discintiguous messages

Status: Open.

#2 In SWI-Prolog/sCASP;

· JanWielemaker opened on Aug 22, 2023