I once launched swi-prolog and asked it a question:
ely:~/home$ prolog
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 5.10.1)
Copyright (c) 1990-2010 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.
For help, use ?- help(Topic). or ?- apropos(Word).
?- love(math) is unrequited.
true.
Stack Overflow
Q&A for professional and enthusiast programmers
Cross Validated
Q&A for statisticians, data analysts, data miners and data visualization experts
Mathematics
Q&A for people studying math at any level and professionals in related fields
Personal Finance & Money
Q&A for people who want to be financially literate
Meta Stack Overflow
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
TeX - LaTeX
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Computational Science
Q&A for scientists using computers to solve scientific problems
Cognitive Sciences
Q&A for practitioners, researchers, and students in cognitive science, psychology, neuroscience, and psychiatry
Theoretical Computer Science
Q&A for theoretical computer scientists and researchers in related fields
Board & Card Games
Q&A for people who like playing board games, designing board games or modifying the rules of existing board games
Quantitative Finance
Q&A for finance professionals and academics
