A knowledge and computation modeling language based on the CLIPS expert system tool