xsb

Are Hilog terms (i.e. compounds having as functors arbitrary terms) still regarded as a powerful feature in XSB Prolog (or any other Prolog) ? Are there many XSB projects currently using this feature ? which of them for example ? I ask since as far as I understand higher order programming is equally possible using the ISO built-in call/N. Specifically, I would like to understand if XSB is using Hilog terms just for historical reasons or if Hilog terms have considerable advantages in comparison to the current ISO standard. Within XSB, Hilog terms are very strongly connected to the module system

I am starting with Prolog programming using XSB. What syntax highlighting script or plugin for vim editor would you suggest for (XSB) Prolog ? Vim (7.3) comes with filetype-specific settings and syntax highlighting for Prolog. Just make sure that your file is detected as such (i.e. :setlocal filetype? prints prolog ), and you have the usual :filetype plugin on and :syntax on in your ~/.vimrc . Vim auto-detects *.pdb and *.pl (depending on contents, can also be Perl); but you can configure additional patterns, see :help new-filetype . The Vim support for Logtalk is an alternative for syntax