refactor: rename prolog programs method names

Author: kelvin-olaiya

src/main/scala/io/github/kelvindev15/prolog/core/Theory/PrologProgram.scala

@@ -3,8 +3,8 @@ package io.github.kelvindev15.prolog.core.Theory
 import io.github.kelvindev15.prolog.core.Struct.Clause
 
 trait PrologProgram extends Seq[Clause]:
-  def addClause(clause: Clause): PrologProgram
-  def removeClause(clause: Clause): PrologProgram
+  def add(clause: Clause): PrologProgram
+  def remove(clause: Clause): PrologProgram
   def contains(clause: Clause): Boolean
   def clauses: Seq[Clause]
 
@@ -13,8 +13,8 @@ object PrologProgram:
 
   private case class PrologProgramImpl(clauses: Seq[Clause]) extends PrologProgram:
     override def apply(i: Int): Clause = clauses(i)
-    override def addClause(clause: Clause): PrologProgram = PrologProgram(this :+ clause*)
-    override def removeClause(clause: Clause): PrologProgram = PrologProgram(filterNot(_ == clause)*)
+    override def add(clause: Clause): PrologProgram = PrologProgram(this :+ clause*)
+    override def remove(clause: Clause): PrologProgram = PrologProgram(filterNot(_ == clause)*)
     override def contains(clause: Clause): Boolean = contains(clause)
     override def length: Int = clauses.length
     override def iterator: Iterator[Clause] = clauses.iterator

src/test/scala/io/github/kelvindev15/prolog/core/theory/TestPrologProgram.scala

@@ -14,13 +14,13 @@ class TestPrologProgram extends AnyFunSuite with BeforeAndAfterAll with Matchers
   test("Adding a rule to a prolog program") {
     var program = PrologProgram()
     program shouldBe empty
-    program = program addClause rule
+    program = program add rule
     program should have size 1
   }
 
   test("Removing a rule from a prolog program") {
     var program = PrologProgram(rule)
     program should have size 1
-    program = program removeClause rule
+    program = program remove rule
     program shouldBe empty
   }