Displays the names of all defmodule constructs stored in the CLIPS environment. This function has no return value.
Syntax
(listdefmodules)