triska/the-power-of-prolog

Issues

• Forbidden Link

  #48 opened 6 months ago by jgarte
  0

• "Testing Prolog Programs": A new URL needed to the paper Concolic Testing in Logic Programming

  #47 opened a year ago by haijinSk
  2

• A useful chapter - getting started tutorial

  #46 opened a year ago by dougransom
  0

• Commenting Prolog

  #45 opened a year ago by dougransom
  0

• Summary Chapter/Koch Method

  #44 opened a year ago by dougransom
  0

• Fibonacci example in Memoization capter does not work 'backwards'

  #10 opened 2 years ago by brodo
  3

• Integer Arithmetic - "left as an exercise" that is too difficult

  #41 opened 2 years ago by prologbyexample
  0

• Index page '/prolog' is not available offline

  #38 opened 2 years ago by razetime
  4

• DCGs: A declarative/logical way to describe pushback lists?

  #37 opened 3 years ago by jeshan
  0

• Your length rule doesn't work for me

  #32 opened 3 years ago by p4ulor
  1

• `attribute_goals/3` existence error while following "Attributed Variables" chapter

  #35 opened 3 years ago by jasonhemann
  2

• `reversal` query from DCG chapter loops

  #36 opened 3 years ago by jasonhemann
  3

• Exercises

  #31 opened 3 years ago by grahamgower
  1

• How to maximise socialisation to the SGP if the number groups/people/weeks is fixed?

  #33 opened 3 years ago by david-sitsky
  0

• DCG-ification of mi_list3

  #30 opened 3 years ago by GeoffChurch
  0

• Term Rewriting prolog code

  #29 opened 3 years ago by infogulch
  3

• Error trying to connect to local server

  #28 opened 3 years ago by GeoffChurch
  3

• Error in chapter on web applications

  #26 opened 4 years ago by cmsmcq
  2

• Add links to research papers

  #23 opened 4 years ago by jeshan
  0

• How to set executable path for a package on a configuration file on Emacs?

  #22 opened 4 years ago by yuis-ice
  4

• scryer-prolog 0.0.0.0 IP address but not localhost?

  #21 opened 4 years ago by yuis-ice
  2

• AI/ML applications of Prolog

  #5 opened 7 years ago by XVilka
  6

• no link to attributed variables page in table of contents

  #11 opened 6 years ago by medovina
  2

• Add links to the next chapter at the bottom

  #20 opened 5 years ago by marthinwurer
  0

• Syntax highlight

  #12 opened 6 years ago by XVilka
  1

• More modern look of the book

  #15 opened 5 years ago by XVilka
  1

• `if` spelled as `iff`

  #16 opened 5 years ago by XVilka
  2

• Switch to the markdown format of the book

  #17 opened 5 years ago by XVilka
  0

• Add Well formed semantics/tabing section

  #14 opened 6 years ago by erlanger
  0

• Confusing step in DCG left-recursion solution

  #9 opened 6 years ago by jeremy-w
  4

• Add more examples in 'Engineering Aspects' chapter

  #13 opened 6 years ago by XVilka
  1

• Availability as common e-book formats

  #3 opened 7 years ago by StrScr
  7

• bug in code?

  #6 opened 7 years ago by jusski
  1

• Cryptographic applications of Prolog

  #2 opened 7 years ago by triska
  1

• Having to include the CLP(FD) library is not explicit enough

  #4 opened 7 years ago by JCumin
  2