Discussions

• 4 You must be logged in to vote

  💬

  Answers terminology

  bakaq started Aug 19, 2024 in General

  

  

  0
• 2 You must be logged in to vote

  🙏

  Linguistic "Power" of Definite Clause Grammars?

  jjtolton asked Aug 15, 2024 in Q&A · Answered

  

  

  

  

  2
• 2 You must be logged in to vote

  🙏

  Emacs function for transposing Prolog terms?

  jjtolton asked Aug 15, 2024 in Q&A · Answered

  

  

  

  

  3
• 3 You must be logged in to vote

  💬

  Choice Point Sequencing and Control Patterns -- list ordering, interpreting, resolving -- and the quest for A*.

  jjtolton started Aug 17, 2024 in General

  

  

  1
• 7 You must be logged in to vote

  🙌

  Scryer Shen article

  mthom started Aug 16, 2024 in Show and tell

  

  

  1
• 1 You must be logged in to vote

  🙏

  y u no terminate??

  jjtolton asked Aug 14, 2024 in Q&A · Answered

  

  

  10
• 3 You must be logged in to vote

  💬

  In search of a place to host documentation

  aarroyoc started Feb 10, 2022 in General

  

  

  

  

  13
• 3 You must be logged in to vote

  🙏

  Fair Tree Enumeration?

  jjtolton asked Aug 14, 2024 in Q&A · Answered

  

  

  

  

  13
• 4 You must be logged in to vote

  💬

  Scryer Scholar's Series! 🎓

  jjtolton started Aug 13, 2024 in General

  

  

  2
• 2 You must be logged in to vote

  💬

  Scryer Scholar's Series: Reading and "Riting" in Scryer (or, how do to proper I/O)

  jjtolton started Aug 13, 2024 in General

  

  

  1
• 1 You must be logged in to vote

  🙏

  Numeric precision (WAM)

  tiagoantao asked Aug 9, 2024 in Q&A · Unanswered

  

  

  

  

  6
• 3 You must be logged in to vote

  🙌

  Second Eye of Euler is now back and runs well with scryer

  josd started Aug 2, 2024 in Show and tell

  

  

  0
• 4 You must be logged in to vote

  💬

  Welcome to scryer-prolog Discussions!

  mthom started Apr 10, 2021 in General

  

  

  

  

  10
• 1 You must be logged in to vote

  🙏

  higher-order DCG rule exported from module

  rodrigosetti asked Jul 17, 2024 in Q&A · Answered

  

  

  4
• 3 You must be logged in to vote

  🙌

  Proving correctness and completeness of logic programs

  hurufu started Jul 17, 2024 in Show and tell

  

  

  0
• 1 You must be logged in to vote

  💬

  A lyric filtering, with naked Prolog

  haijinSk started Jun 28, 2024 in General · Closed

  

  

  

  

  7
• 4 You must be logged in to vote

  🙏

  phrase_from_stream/2 nontermination (Stream from http_open/3)

  rodrigosetti asked Jul 3, 2024 in Q&A · Answered

  

  

  

  

  11
• 3 You must be logged in to vote

  🙌

  Analysing protection systems for giant particle accelerators

  stevemolloy started Jul 6, 2024 in Show and tell

  

  

  1
• 1 You must be logged in to vote

  💡

  Environments like Python

  dougransom started Jul 3, 2024 in Ideas

  

  

  0
• 4 You must be logged in to vote

  💬

  Appreciating (#=)/3

  triska started Jun 27, 2024 in General

  

  

  1
• 1 You must be logged in to vote

  🙏

  Distinguish failure to match head from other fault

  hurufu asked Jun 25, 2024 in Q&A · Answered

  

  

  

  

  17
• 3 You must be logged in to vote

  💡

  Check modes of predicate arguments at runtime

  hurufu started Jun 11, 2024 in Ideas

  

  

  

  

  5
• 6 You must be logged in to vote

  🙌

  A few unquoted atoms for your collection

  triska started Jun 11, 2024 in Show and tell

  

  

  3
• 2 You must be logged in to vote

  🙏

  Compilation warnings, is it ok?

  haijinSk asked May 27, 2024 in Q&A · Closed · Answered

  

  

  3
• 1 You must be logged in to vote

  🙏

  Error when using doclog

  razetime asked May 24, 2024 in Q&A · Answered

  

  

  2