A multi-relation, microtheory-rooted, graph-based planning-domain editor for SWI-Prolog. SPSE4 is the successor to SPSE2 (2011, Perl/Tk) and SPSE2-Formalog (the SWI-Prolog bridge). It consolidates the ...
plwm is a highly customizable X11 dynamic tiling window manager written in Prolog. Main goals of the project are: high code & documentation quality; powerful yet easy customization; covering most ...
EMBED <iframe src="https://archive.org/embed/msdos_borland_turbo_c_2.01" width="560" height="384" frameborder="0" webkitallowfullscreen="true" mozallowfullscreen ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results