Test/add hooks for more rule engines

[AlexLandau]

Java:
Sancho
Palamedes BasicPlayer: http://palamedes-ide.sourceforge.net/start.html
https://github.com/parthy/ggp (? Might use Fluxplayer's Prolog as well?)
Rekkura: https://github.com/ptpham/rekkura
JavaEclipse (from GIGA-13 paper; either GameController or Moller et al, 2011/Centurio)
JavaProver (from GIGA-13 paper; Halderman et al 2006 and Gunther et al 2013) -- is this just an earlier version of GGP-Base prover? http://games.stanford.edu/resources/reference/java/java.html

• Link from Gunther et al citation: http://ggpserver.sourceforge.net/
• This might be the same as what's used in Palamedes BasicPlayer (JavaProver.jar)
• Palamedes code itself seems to include jars for JavaProver, Jocular, and a reference to a "prologprover"
  Jocular (mentioned in GIGA-13 paper; joc 2007) http://games.stanford.edu/resources/reference/jocular/jocular.html
  Centurio (compiles code into Java; mentioned in GIGA-13 paper; Moller et al, 2011)

.NET:
NGGP Base: https://github.com/druzil/nggp-base

C/C++:
Informafiosi: http://www.general-game-playing.de/downloads.html (C++Reasoner from GIGA-13 paper? points to that link)
https://github.com/thomasmarsh/ggp (?)
https://github.com/sumedhghaisas/libgdl
GDLCC (mentioned in GIGA-13 paper; Waugh 2009)
https://github.com/ptpham/piecemeal

Prolog-based:
FluxPlayer: http://www.general-game-playing.de/downloads.html
CadiaPlayer: ??? (B/F 2008, 2009) - based on YAP Prolog (Costa et al 2012)
https://github.com/muupan/ggpe: uses YAP Prolog (check if same as CadiaPlayer)
https://github.com/tflaherty/GeneralGamePlaying (?)
https://github.com/jvandenbroeck/The-Turk (Java and/or Prolog?)
Ary http://www.ai.univ-paris8.fr/~jm/ggp/ (C/Prolog)

Haskell:
https://github.com/ian-ross/ggp

Rust:
https://github.com/gsingh93/ggp-rs
https://github.com/strout/worthy-opponent

Clojure:
https://github.com/ramirez7/ggp-mcts (?)

OCAML:
GaDeLaC (mentioned in GIGA-13 paper; Saffidine/Cazenave 2011)

???:
Toss (mentioned in GIGA-13 paper; Kaiser/Stafiniak, 2011/2013) toss.sourceforge.net
Gamer (mentioned in GIGA-13 paper; Kissmann/Edelkamp, 2011)

[AlexLandau]

Prolog via Python: https://github.com/roblaing/ggp_python_player

[AlexLandau]

Since the previous list was assembled, Sancho (propnet), Rekkura, JavaEclipse, JavaProver, and Fluxplayer (ECLiPSe prolog) have been added.

The next highest priority to add is CadiaPlayer (YAP prolog).

New list:

Java:

• Centurio? (compiles code into Java; mentioned in GIGA-13 paper; Moller et al, 2011)

.NET:
NGGP Base: https://github.com/druzil/nggp-base

C/C++:
Informafiosi: http://www.general-game-playing.de/downloads.html (C++Reasoner from GIGA-13 paper? points to that link)
https://github.com/thomasmarsh/ggp (?)
https://github.com/sumedhghaisas/libgdl
GDLCC (mentioned in GIGA-13 paper; Waugh 2009)
https://github.com/ptpham/piecemeal

Prolog-based:
CadiaPlayer: ??? (B/F 2008, 2009) - based on YAP Prolog (Costa et al 2012)
https://github.com/muupan/ggpe: uses YAP Prolog (check if same as CadiaPlayer)
https://github.com/tflaherty/GeneralGamePlaying (?)
https://github.com/jvandenbroeck/The-Turk (Java and/or Prolog?)
Ary http://www.ai.univ-paris8.fr/~jm/ggp/ (C/Prolog)

Haskell:
https://github.com/ian-ross/ggp

Rust:
https://github.com/gsingh93/ggp-rs
https://github.com/strout/worthy-opponent

Clojure:
https://github.com/ramirez7/ggp-mcts (?)

OCAML:
GaDeLaC (mentioned in GIGA-13 paper; Saffidine/Cazenave 2011)

???:
Toss (mentioned in GIGA-13 paper; Kaiser/Stafiniak, 2011/2013) toss.sourceforge.net
Gamer (mentioned in GIGA-13 paper; Kissmann/Edelkamp, 2011)

[AlexLandau]

CadiaPlayer has been added, though it has a bad tendency to leave around subprocesses when it times out, which it does for around 10 of the games tested. (See #12)

[AlexLandau]

From dpoly in http://ggp.boards.net/thread/29844/player-starting-points:

"tflaherty seems to be C#/Prolog.
Toss is its own language, in OCaml, with a GDL converter and GGP framework
Gadelac is here: bitbucket.org/Abdallah/gadelac"

[AlexLandau]

Perl: https://github.com/slegga/ggp-perl-base (Per its own notes, not expected to be highly performant)