No edit summary |
|||
| Line 1: | Line 1: | ||
*[[Getting Involved]] | == ProB Prolog Source Code == | ||
*[[Getting Involved]] (includes details about getting and running the Prolog sources) | |||
*[[ProB Tcl/Tk Architecture]] | |||
*[[Why Prolog?]] | *[[Why Prolog?]] | ||
*[[Prolog Coding Guidelines]] | *[[Prolog Coding Guidelines]] | ||