Discussions

• 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

  

  

  5
• 1 You must be logged in to vote

  🙏

  Installation error when running ciao build

  sneharamm0han asked Feb 7, 2024 in Q&A · Closed · Answered

  

  

  

  

  3
• 1 You must be logged in to vote

  🙏

  dif/2

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

  

  

  0
• 0 You must be logged in to vote

  💡

  Ciao

  Leone9087 started Nov 8, 2023 in Ideas · Closed

  

  

  0
• 1 You must be logged in to vote

  💬

  syntax for recursive predicate abstractions

  mcsoto started Jan 3, 2023 in General

  

  

  1
• 1 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