Glossary of artificial intelligence List of constraint programming languages List of computer algebra systems List of logic programming languages List of knowledge representation languages Fifth-generation programming language