Issues

• Negated existential returns a false answer with a multi-variable body

  SWI-Prolog/sCASP#13 · Filter by author unthingable opened on Oct 18, 2026

• scasp throws non-det error on second invocation.

  SWI-Prolog/sCASP#12 · Filter by author IanUtley opened on Jun 27, 2026

• Unexpected bahaviour with respect to "more than one" predicate

  SWI-Prolog/sCASP#10 · Filter by author mgttlinger opened on Oct 10, 2024
  1

• Executing scasp, on Ubuntu 22.04 gives an error

  SWI-Prolog/sCASP#9 · Filter by author ghost opened on Jul 1, 2024

• Error creating scasp.exe

  SWI-Prolog/sCASP#8 · Filter by author ivar-rummelhoff opened on Jun 26, 2024

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

  SWI-Prolog/sCASP#7 · Filter by author jinulee-v opened on Sep 8, 2023

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

  SWI-Prolog/sCASP#6 · Filter by author jinulee-v opened on Sep 8, 2023

• :- abducible(-x) does not work

  SWI-Prolog/sCASP#3 · Filter by author JanWielemaker opened on Aug 22, 2023

• abducible leads to discintiguous messages

  SWI-Prolog/sCASP#2 · Filter by author JanWielemaker opened on Aug 22, 2023