Discussions

• 1 You must be logged in to vote

  🙏

  CiaoPP: computational properties and entry assertions

  simonefulvio-rollini asked Feb 2, 2026 in Q&A · Unanswered

  

  

  2
• 1 You must be logged in to vote

  🙏

  CiaoPP: termination analysis and compositionality

  simonefulvio-rollini asked Feb 4, 2026 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  CiaoPP: computational properties and predicates as arguments

  simonefulvio-rollini asked Feb 2, 2026 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  CiaoPP: `trust' and determinism

  simonefulvio-rollini asked Jan 22, 2026 in Q&A · Unanswered

  

  

  

  

  4
• 2 You must be logged in to vote

  🙏

  CiaoPP: `trust' qualifier and predicate definition

  simonefulvio-rollini asked Nov 21, 2025 in Q&A · Unanswered

  

  

  5
• 1 You must be logged in to vote

  🙏

  Working with constraints

  simonefulvio-rollini asked Nov 12, 2025 in Q&A · Unanswered

  

  

  8
• 2 You must be logged in to vote

  🙏

  Why no?

  younes-io asked May 13, 2025 in Q&A · Answered

  

  

  5
• 1 You must be logged in to vote

  💬

  New domains for CiaoPP and how to add new properties

  amato-gianluca started Apr 5, 2024 in General

  

  

  

  

  7
• 1 You must be logged in to vote

  🙏

  dif/2

  cduret asked Dec 6, 2023 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  💬

  syntax for recursive predicate abstractions

  mcsoto started Jan 3, 2023 in General

  

  

  1
• 2 You must be logged in to vote

  📣

  Welcome to Ciao Prolog Discussions!

  jfmc announced Jan 14, 2022 in Announcements

  

  

  0
• 1 You must be logged in to vote

  💡

  Logic programming with α-equivalence

  enhancement

  suhr started Apr 25, 2020 in Ideas

  

  

  1