Prolog for Windows Manual mainly introduces how to use SWI-Prolog under Windows system
This manual guides users through installing and using SWI-Prolog on Windows, including starting the console, loading programs, and using commands like consult and edit. It includes practical examples such as defining family relations and querying them with Prolog facts and rules.
The guide also explains how to navigate the SWI-Prolog interface, use menu commands, and manage files. It covers basic Prolog syntax, comments, and how to define predicates like mother and father based on gender attributes.
Use consult(File) to load a source file; the .pl extension can be omitted.
Use mother(X,Y) :- parent(X, Y), female(X).