RBS (Rule Based System)
Logic programming