More actions
Combined display of all available logs of Information Rating System Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 16:25, 8 September 2024 Pete talk contribs created page Prolog for deductive proofs (Created page with "{{Main|Logic}} <h2>Intro to Prolog</h2> SWI-Prolog was used here, from which the 64-bit Windows version was installed. Versions for Linux and other OS’s exist. It is distributed with the Simplified BSD license. https://www.swi-prolog.org/ SWI Prolog presents the user with a command prompt in which to enter queries and an editor for entering facts. Any editor can be used but the built-in one offers some syntax highlighting. After saving an edited file use the followi...")